extract :: w a -> a